CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 4 of 4 Results
1.
Hardware and Software: Verification and Testing: 4th International Haifa Verification Confer...
Hardware and Software: Verification and Testing: 4th International Haifa Verification Confer... by Chockler, Hana, Hu, Alan J. ISBN: 9783642017018 List Price: $64.95
$51.31 (Save 21%)
2.
Formal Methods In Computer-aided Design 5th International Conference, Fmcad 2004, Austin, Te...
Formal Methods In Computer-aided Design 5th International Conference, Fmcad 2004, Austin, Te... by Hu, Alan J., Andrew K. Mart... ISBN: 9783540237389 List Price: $84.00
$29.81 (Save 64%)
3.
Computer Aided Verification
Computer Aided Verification by Hu, Alan J., Vardi, Moshe Y. ISBN: 9783662193075 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Formal Methods in Computer-Aided Design
Formal Methods in Computer-Aided Design by Hu, Alan J., Martin, Andrew K. ISBN: 9783662207017 List Price: $24.99

OUT OF STOCK

See Availability on Amazon